Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
911	Automata theory Hard decision problems Regular Cost Functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:27:58 Mathematics Semigroup theory Algebra Category theory Models of computation Regular language Monoid Finite-state machine Free monoid Formal languages Abstract algebra Automata theory
912	Nitpicking C++ Concurrency Jasmin Christian Blanchette Tjark Weber Mark Batty Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-04-16 14:49:31 Logic in computer science Procedural programming languages Programming language semantics Predicate logic Formal methods Formal verification ALGOL 68 Denotational semantics First-order logic Theoretical computer science Computing Software engineering
913	Description of the thesis: Study of classes of regular cost functions. Denis Kuperberg 1 Brief Description The goal of the thesis was to study the recent theory of regular cost functions. Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-04-14 07:49:08 Semigroup theory Theoretical computer science Category theory Applied mathematics Semiautomaton Monoid Regular language Syntactic monoid Linear temporal logic Formal languages Automata theory Mathematics
914	The Definitive ANTLR Reference Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2011-04-08 15:42:06 Software engineering Computing Parser generators Formal languages ANTLR Lookahead Lexical analysis Syntax error Formal grammar Programming language implementation Parsing Compiler construction
915	Specification and Proof of Programs with Frama-C SAC 2013 Tutorial Nikolai Kosmatov, Virgile Prevosto, Julien Signoles CEA LIST Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English - Date: 2013-03-25 09:07:11 Formal methods Frama-C ANSI/ISO C Specification Language Program logic Theoretical computer science Formal verification Hoare logic Mathematical proof Automated theorem proving Software engineering Software Computing
916	Formal Instruction and Language Contact in Language Variation: The Case of ser and estar + Adjective in the Spanishes of Limón, Costa Rica Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:55:33 Semantics Romance languages Romance copula Copula Adjective Bilingualism Multilingualism E-Prime Preposition and postposition Linguistics Parts of speech Sociolinguistics
917	Teaching Grammar: Why Bother? Stephen Krashen 1998 California English Research on the relationship between formal grammar instruction and performance on measures of writing ability is very consistent: There is no relati Add to Reading List Source URL: tprstories.com Language: English - Date: 2012-02-03 18:51:17 Language Applied linguistics Second-language acquisition Cognitive science Stephen Krashen Second language Grammar French language English grammar Languages of Africa Linguistics Culture
918	To appear in Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’08) Xoc, an Extension-Oriented Compiler for Systems Programming Russ Add to Reading List Source URL: swtch.com Language: English - Date: 2008-01-03 21:50:06 Software engineering Compiler construction Parsing Programming paradigms Attribute grammar Parser generators Compiler-compiler Parsing expression grammar SYNTAX Formal languages Programming language implementation Computing
919	The Developing Text Mining Market A white paper prepared for Text Mining Summit 2005 Add to Reading List Source URL: altaplana.com Language: English - Date: 2005-11-15 16:32:56 Data analysis Data mining Natural language processing Statistical natural language processing Formal sciences Text mining Text analytics Business intelligence Unstructured data Science Statistics Information science
920	ACTJC’s Jewish Teen Education Department – J-TEDx Summary of Project Description: A weekly educational program for post bar and bat mitzvah aged students that would promote social cohesion and a formal outlet to Je Add to Reading List Source URL: images.shulcloud.com Language: English - Date: 2014-12-14 20:33:01 Jewish studies Jewish education Jewish Agency for Israel Bar and Bat Mitzvah Who is a Jew? Hebrew language Hebrew school Orthodox Judaism outreach Religion Culture Jewish culture

UPDATE